Equations used as ad hoc substitution rules can serve as the source of a transformation rule. The conversion creates a transformation from the left and right parts of an equation and adds an unconditional predicate.